Obsolete tips

These objects all have ||-names now:


\begin{defs} Version 2 tip\hfil & Replacement \cr \noalign{\nobreak\smallskip\... ...turn] & \vert\dir^{'}\vert \cr ??c![\bturn] & \vert\dir_{'}\vert \cr \end{defs}

( @

@| @^| @_|

@> @^> @_>

@2>

=<5pt>:(32,-1)^> =<5pt>:(32,+1)_>

@3>

@^( @_(

@^' @_' )

The older commands ||, ||, and ||, are not provided.

3